Journal of Hydrology: Regional Studies–515 Contents lists available at ScienceDirect Journal of Hydrology: Regional Studies

Source URL: start.org

• Hydrology
• Water
• Physical geography
• Hydraulic engineering
• Environmental engineering
• Environmental science
• Koshi River
• Hydrograph
• Flood
• Streamflow
• Water cycle
• Environmental flow

A Security Domain Model for Implementing Trusted Subject Behaviors Alan Shaffer, Mikhail Auguston, Cynthia Irvine, Timothy Levin  Naval Postgraduate School, Computer Science Department, 1411 Cunningham Rd., Monterey, Ca

Source URL: cisr.nps.edu

• Computer security
• Computer access control
• Information theory
• Access control
• Mandatory access control
• BellLaPadula model
• Trusted Computing
• Trusted computing base
• Principle of least privilege
• Information flow
• Security kernel

KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels John Criswell, Nathan Dautenhahn, and Vikram Adve Department of Computer Science University of Illinois at Urbana-Champaign Email: {criswell,d

Source URL: www.ieee-security.org

Soundness of Data Flow Analyses for Weak Memory Models⋆ Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, and Michael Tautschnig Department of Computer Science, University of Oxford, UK

Source URL: www0.cs.ucl.ac.uk

number of departures 250 education-dominated chain types leisure-dominated chain types

Source URL: www.strc.ch

• Multi-agent systems
• Transport
• Complex systems theory
• Models of computation
• Digital electronics
• Systems science
• Scientific modeling
• Simulation
• MATSim
• Traffic simulation
• Agent-based model
• Traffic flow

A Theorem Proving Approach to Secure Information Flow in Concurrent Programs (Extended Abstract) Daniel Bruns, Karlsruhe Institute of Technology We present an approach to formally prove secure information flow in multi-t

Source URL: software.imdea.org

• Theoretical computer science
• Logic in computer science
• Formal methods
• Mathematical logic
• KeY
• Formal verification
• Dynamic logic
• Automated theorem proving
• Logic
• Language-based security

Scott Meacham: Great deal flow is important to innovation in Oklahoma (SeedStep Angels) I sit on the Governor’s Science and Technology Council, which was reinstated by Gov. Mary Fallin, to help move the state forward i

Source URL: www.angelcapitalassociation.org

CCE-PROFICIENCE CENTER FOR CONTINUING EDUCATION PROGRAM INDIAN INSTITUTE OF SCIENCE AUG - DEC 2015 Term Course No. 10 Introduction to Numerical Grid Generation and Fluid Flow Computation

Source URL: cce.iisc.ernet.in

Expeditus: Distributed Load Balancing with Global Congestion Information in Data Center Networks Peng Wang, Hong Xu Department of Computer Science, City University of Hong Kong ABSTRACT

Source URL: conferences2.sigcomm.org

• Computing
• Network architecture
• Computer architecture
• Ethernet
• Routing
• Computer networking
• Network topology
• Load balancing
• Network management
• Transmission Control Protocol
• Network switch
• Traffic flow

Journal of Colloid and Interface Science 233, 12–doi:jcis, available online at http://www.idealibrary.com on Electro-Viscous Effects on Liquid Flow in Microchannels Liqing Ren, Dongqing Li,1

Source URL: www.me.hawaii.edu